Constraint-Based Termination Analysis for Cyclic Active Database Rules
نویسندگان
چکیده
منابع مشابه
A Dynamic Approach to Termination Analysis for Active Database Rules
An important behavioural property for sets of active database rules is that of termination. In current commercial database systems, termination is guaranteed by imposing a xed upper limit on the number of recursive rule rings that may occur. This can have undesirable effects such as prematurely halting correct executions. We describe a new approach based on a dynamic upper limit to the number o...
متن کاملThe Priority of Rules and the Termination Analysis Using Petri Nets
An active database system is a conventional database system extended with a facility for managing active rules (or triggers). Rules in active database systems can be very difficult to program, due to the unstructured and unpredictable nature of rule processing. In this paper, we propose a method of termination analysis of rules in an active database system based on Petri nets. We consider here ...
متن کاملHybrid Concurrency Control for Prioritized Rules in Active Database Systems
In active database systems, rule processing occurs when an external transaction generates events. Certain rules are initially triggered by the events, and they are executed automatically when certain conditions are satisfied. Their execution can trigger other rules or the same rules, and so on-conceivably resulting in a finite set of triggered rules. The seemingly unpredictable activation of ru...
متن کاملA Simple Model for Active Rules and their Behavior in Deductive Databases
Recent advances in non-monotonic semantics of deductive databases provide a simple framework for modeling the even-condition-action rules of active databases. This approach unifies the semantics of active and deductive databases and yields several benefits. In particular it can be used to model the semantics of different active databases and to perform termination analysis for active rules.
متن کاملInvestigating Termination in Active Database Systems with Expressive Rule Languages
The powerful functionality that active mechanisms add to database management systems presents, besides many advantages, a number of problems related to the control of their behavior. This paper deals with one of these problems: the termination of rule execution. We explain the termination aspect and the aim of termination analysis. Then, we present our approach for investigating the termination...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000